Nuprl Definition : w-when
11,40
postcript
pdf
(
x
when
e
) == s(
e
.1;
e
.2).
x
latex
clarification:
w-when(
w
;
x
;
e
) == w-s(
w
; (
e
.1); (
e
.2);
x
)
latex
Definitions
s(
i
;
t
).
x
,
t
.1
,
t
.2
FDL editor aliases
w-when
origin